Formal Zariski topology: Positivity and points
نویسندگان
چکیده
منابع مشابه
Points and Co-points in Formal Topology
Sunto Dopo una breve introduzione delle principali idee della topologia formale [Sam87] vengono introdotte le nozioni di punto e co-punto. Si presentano quindi alcuni metodi per costruire punti e co-punti in opportune topologie formali e si forniscono alcune applicazioni logiche di tali costruzioni 1 .
متن کاملSome points in formal topology
1 Some remarks, some results 5 1.1 The point of formal topology . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 1.2 A formal topology is. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 1.3 A summary of developments . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 1.3.1 A toolbox to do mathematics in type theory . . . . . . . . . . . . . . . ...
متن کاملThe Basic Zariski Topology
We present the Zariski spectrum as an inductively generated basic topology à la Martin-Löf and Sambin. Since we can thus get by without considering powers and radicals, this simplifies the presentation as a formal topology initiated by Sigstam. Our treatment includes closed and open subspaces: that is, quotients and localisations. All the effective objects under consideration are introduced by ...
متن کاملA Zariski Topology for Bicomodules and Corings
In this paper we introduce and investigate top (bi)comodules of corings, that can be considered as dual to top (bi)modules of rings. The fully coprime spectra of such (bi)comodules attains a Zariski topology, defined in a way dual to that of defining the Zariski topology on the prime spectra of (commutative) rings. We restrict our attention in this paper to duo (bi)comodules (satisfying suitabl...
متن کاملHow to Expand the Zariski Topology
We introduce the notion of a Hu-Liu prime ideal in the context of left commutative rngs, and establish the contravariant functor from the category of left commutative rngs into the category of topological spaces. It is well known that new points must be introduced in order to expand algebraic geometry over algebraically closed fields into Grothendieck’s scheme theory over commutative rings. We ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2006
ISSN: 0168-0072
DOI: 10.1016/j.apal.2005.05.026